extend-protocol when both defrecord and protocol are in another namespace